Reference for Bava Kamma 154:3

אמר לך (שמות כא, לז) וטבחו ומכרו כל היכא דאיתיה במכירה איתיה בטביחה וכל היכא דליתיה במכירה ליתיה בטביחה והני קדשים הואיל דכי מזבין קדשים לא הויא מכירה ליתנהו בטביחה

is considered as if it had already been redeemed.

Jastrow